1. An introduction to combinators and )Lambda(-calculus
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
2. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Author: / Edited by C. Bohm
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
Classification :
QA
905
.
L35
3. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
4. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
5. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
6. Combinatory logic
Author: / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Combinatory logic
Classification :
511
.
3
C976
7. Combinatory logic
Author: [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
Classification :
QA9
.
5
.
C87
8. Combinatory logic
Author: Curry, Haskell Brooks
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Combinatory logic
Classification :
QA
9
.
5
.
C87
9. Combinatory logic
Author: Katalin Bimbao
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Combinatory logic
Classification :
QA
9
,.
5
.
B52C6
2012
10. Combinatory logic. Volume II
Author: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
11. Combinatory logic : pure, applied and typed
Author: Bimbo, Katalin, 3691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic
Classification :
QA
9
.
5
.
B55C6
12. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Author: Skordev, Dimitur Genchev
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory,، Combinatory logic
Classification :
QA
9
.
6
.
S55
1992
13. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Author: Skordev, Dimitur Genchev
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Combinatory logic
Classification :
QA
9
.
6
.
S56
14. Disertación acerca del arte combinatorio
Author: de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
Classification :
QA9
.
5
D449
1992
15. Elements of combinatory logic
Author: / Frederic B. Fitch
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Combinatory logic
Classification :
511
.
3
Fi-E
16. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
17. Lambda-calculus and combinators : an introduction
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
18. Lambda-calculus and combinators, an introduction
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
19. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Lambda-calculus, combinators, and functional programming
Author: Revesz, Gyorgy E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988